Micron Document
<!DOCTYPE html>
<html class="client-nojs vector-feature-night-mode-disabled vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-sticky-header-enabled" lang="en" dir="ltr"><head>
<meta charset="UTF-8">
<title>Knowledge engineering</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="canonical" href="https://en.wikipedia.org/wiki/Knowledge_engineering"> <link href="./mw/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/user.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link rel="stylesheet" type="text/css" href="./mw/site.styles.css">
<link rel="stylesheet" type="text/css" href="./mw/noscript.css">
<link rel="stylesheet" type="text/css" href="./footer.css">
<link rel="stylesheet" type="text/css" href="./vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Knowledge_engineering rootpage-Knowledge_engineering skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading">
<span id="openzim-page-title" class="mw-page-title-main"><span class="mw-page-title-main">Knowledge engineering</span></span>
</h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="en" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr">
<style data-mw-deduplicate="TemplateStyles:r1236090951">
/* start https://en.wikipedia.org/ */


.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}@media print{body.ns-0 .mw-parser-output .hatnote{display:none!important}}


/* end https://en.wikipedia.org/ */
</style><div role="note" class="hatnote navigation-not-searchable">This article is about methods for developing expert systems. For application of knowledge based technology to the domain of manufacturing and CAD, see <a href="Knowledge-based_engineering" title="Knowledge-based engineering">Knowledge-based engineering</a>.</div>
<p><b>Knowledge engineering</b> (<b>KE</b>) refers to all aspects involved in <a href="Knowledge-based_systems" title="Knowledge-based systems">knowledge-based systems</a>.
</p>
<meta property="mw:PageProp/toc">
<div class="mw-heading mw-heading2"><h2 id="Background">Background</h2></div>
<div class="mw-heading mw-heading3"><h3 id="Expert_systems">Expert systems</h3></div>
<p>One of the first examples of an <a href="Expert_system" title="Expert system">expert system</a> was <a href="MYCIN" class="mw-redirect" title="MYCIN">MYCIN</a>, an application to perform medical diagnosis. In the MYCIN example, the domain experts were medical doctors and the knowledge represented was their expertise in diagnosis.
</p><p>Expert systems were first developed in artificial intelligence laboratories as an attempt to understand complex human decision making. Based on positive results from these initial prototypes, the technology was adopted by the US business community (and later worldwide) in the 1980s. The Stanford heuristic programming project led by <a href="Edward_Feigenbaum" title="Edward Feigenbaum">Edward Feigenbaum</a> was one of the leaders in defining and developing the first expert systems.
</p>
<div class="mw-heading mw-heading2"><h2 id="History">History</h2></div>
<p>In the earliest days of expert systems, there was little or no formal process for the creation of the software. Researchers just sat down with domain experts and started programming, often developing the required tools (e.g. <a href="Inference_engine" title="Inference engine">inference engines</a>) at the same time as the applications themselves. As expert systems moved from academic prototypes to deployed business systems it was realized that a methodology was required to bring predictability and control to the process of building the software. There were essentially two approaches that were attempted:
</p>
<ol><li>Use conventional software development methodologies</li>
<li>Develop special methodologies tuned to the requirements of building expert systems</li></ol>
<p>Many of the early expert systems were developed by large consulting and system integration firms such as <a href="Andersen_Consulting" class="mw-redirect" title="Andersen Consulting">Andersen Consulting</a>. These firms already had well tested conventional <a href="Waterfall_model" title="Waterfall model">waterfall methodologies</a> (e.g. Method/1 for Andersen) that they trained all their staff in and that were virtually always used to develop software for their clients. One trend in early expert systems development was to simply apply these waterfall methods to expert systems development.
</p><p>Another issue with using conventional methods to develop expert systems was that due to the unprecedented nature of expert systems, they were one of the first applications to adopt <a href="Rapid_application_development" title="Rapid application development">rapid application development</a> methods that feature iteration and prototyping as well as or instead of detailed analysis and design. In the 1980s few conventional software methods supported this type of approach.
</p><p>The final issue with using conventional methods to develop expert systems was the need for <a href="Knowledge_acquisition" title="Knowledge acquisition">knowledge acquisition</a>. <i>Knowledge acquisition</i> refers to the process of gathering expert knowledge and capturing it in the form of rules and ontologies. Knowledge acquisition has special requirements beyond the conventional specification process used to capture most business requirements.
</p><p>These issues led to the second approach to knowledge engineering: the development of custom methodologies specifically designed to build expert systems.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> One of the first and most popular of such methodologies custom designed for expert systems was the <a href="Knowledge_Acquisition_and_Documentation_Structuring" title="Knowledge Acquisition and Documentation Structuring">Knowledge Acquisition and Documentation Structuring</a> (KADS) methodology developed in Europe. KADS had great success in Europe and was also used in the United States.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>
</p>
<div class="mw-heading mw-heading2"><h2 id="See_also">See also</h2></div>
<ul><li><a href="Knowledge_level_modeling" title="Knowledge level modeling">Knowledge level modeling</a></li>
<li><a href="Knowledge_management" title="Knowledge management">Knowledge management</a></li>
<li><a href="Knowledge_representation_and_reasoning" title="Knowledge representation and reasoning">Knowledge representation and reasoning</a></li>
<li><a href="Knowledge_retrieval" title="Knowledge retrieval">Knowledge retrieval</a></li>
<li><a href="Knowledge_tagging" class="mw-redirect" title="Knowledge tagging">Knowledge tagging</a></li>
<li><a href="Method_engineering" title="Method engineering">Method engineering</a></li></ul>
<div class="mw-heading mw-heading2"><h2 id="References">References</h2></div>
<style data-mw-deduplicate="TemplateStyles:r1239543626">
/* start https://en.wikipedia.org/ */


.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}


/* end https://en.wikipedia.org/ */
</style><div class="reflist">
<div class="mw-references-wrap"><ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-1">^</a></b></span> <span class="reference-text"><style data-mw-deduplicate="TemplateStyles:r1238218222">
/* start https://en.wikipedia.org/ */


.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("./mw/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("./mw/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("./mw/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("./mw/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}


/* end https://en.wikipedia.org/ */
</style><cite id="CITEREFFeigenbaumMcCorduk1983" class="citation book cs1">Feigenbaum, Edward; McCorduk, Pamela (1983). <span class="id-lock-registration" title="Free registration required"><a rel="nofollow" class="external text" href="https://archive.org/details/fifthgenerationa00feigrich"><i>The Fifth Generation</i></a></span> (1st&nbsp;ed.). <a href="Reading%2C_MA" class="mw-redirect" title="Reading, MA">Reading, MA</a>: <a href="Addison-Wesley" title="Addison-Wesley">Addison-Wesley</a>. <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a>&nbsp;<bdi>978-0-201-11519-2</bdi>. <a href="OCLC_(identifier)" class="mw-redirect" title="OCLC (identifier)">OCLC</a>&nbsp;<a rel="nofollow" class="external text" href="https://search.worldcat.org/oclc/9324691">9324691</a>.</cite></span>
</li>
<li id="cite_note-2"><span class="mw-cite-backlink"><b><a href="#cite_ref-2">^</a></b></span> <span class="reference-text"><cite id="CITEREFSchreiberAkkermansAnjewierdenDehoog2000" class="citation cs2">Schreiber, August Th.; Akkermans, Hans; Anjewierden, Anjo; <a href="Robert_de_Hoog_(scientist)" title="Robert de Hoog (scientist)">Dehoog, Robert</a>; <a href="Nigel_Shadbolt" title="Nigel Shadbolt">Shadbolt, Nigel</a>; Vandevelde, Walter; <a href="Bob_Wielinga" title="Bob Wielinga">Wielinga, Bob</a> (2000), <i>Knowledge engineering and management: the CommonKADS methodology</i> (1st&nbsp;ed.), <a href="Cambridge%2C_MA" class="mw-redirect" title="Cambridge, MA">Cambridge, MA</a>: The MIT Press, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a>&nbsp;<bdi>978-0-262-19300-9</bdi></cite></span>
</li>
</ol></div></div>
<div class="mw-heading mw-heading2"><h2 id="External_links">External links</h2></div>
<ul><li><a rel="nofollow" class="external text" href="http://www.elsevier.com/wps/find/journaldescription.cws_home/505608/description#description">Data &amp; Knowledge Engineering</a> – Elsevier Journal</li>
<li><a rel="nofollow" class="external text" href="http://journals.cambridge.org/action/displayJournal?jid=KER">Knowledge Engineering Review</a>, Cambridge Journal</li>
<li><a rel="nofollow" class="external text" href="https://web.archive.org/web/20080501180201/http://www.ksi.edu/ijsk.html">The International Journal of Software Engineering and Knowledge Engineering</a> – World Scientific</li>
<li><a rel="nofollow" class="external text" href="http://www.informatik.uni-trier.de/~ley/db/journals/tkde/index.html">IEEE Transactions on Knowledge and Data Engineering</a> <a rel="nofollow" class="external text" href="https://web.archive.org/web/20090515223601/http://www.informatik.uni-trier.de/~ley/db/journals/tkde/index.html">Archived</a> 2009-05-15 at the <a href="Wayback_Machine" title="Wayback Machine">Wayback Machine</a></li>
<li><a rel="nofollow" class="external text" href="https://web.archive.org/web/20080612045810/http://www.blackwellpublishing.com/journal.asp?ref=0266-4720&amp;site=1">Expert Systems: The Journal of Knowledge Engineering</a> – Wiley-Blackwell</li></ul>
<div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r1129693374">
/* start https://en.wikipedia.org/ */


.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}


/* end https://en.wikipedia.org/ */
</style><style data-mw-deduplicate="TemplateStyles:r1236075235">
/* start https://en.wikipedia.org/ */


.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}


/* end https://en.wikipedia.org/ */
</style></div><div role="navigation" class="navbox" aria-labelledby="Knowledge_representation_and_reasoning511" style="padding:3px"><table class="nowraplinks hlist mw-collapsible mw-collapsed navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><style data-mw-deduplicate="TemplateStyles:r1239400231">
/* start https://en.wikipedia.org/ */


.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media print{.mw-parser-output .navbar{display:none!important}}


/* end https://en.wikipedia.org/ */
</style><div id="Knowledge_representation_and_reasoning511" style="font-size:114%;margin:0 4em"><a href="Knowledge_representation_and_reasoning" title="Knowledge representation and reasoning">Knowledge representation</a> and <a href="Automated_reasoning" title="Automated reasoning">reasoning</a></div></th></tr><tr><td class="navbox-abovebelow" colspan="2"><div>
<ul><li><a href="Backward_chaining" title="Backward chaining">Backward chaining</a></li>
<li><a href="Case-based_reasoning" title="Case-based reasoning">Case-based reasoning</a></li>
<li><a href="Commonsense_reasoning" title="Commonsense reasoning">Commonsense reasoning</a></li>
<li><a href="Forward_chaining" title="Forward chaining">Forward chaining</a></li>
<li><a href="Model-based_reasoning" title="Model-based reasoning">Model-based reasoning</a></li>
<li><a href="Inference_engine" title="Inference engine">Inference engines</a></li>
<li><a href="Proof_assistant" title="Proof assistant">Proof assistants</a></li>
</ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="Expert_system" title="Expert system">Expert systems</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">
<ul><li><a href="CLIPS" title="CLIPS">CLIPS</a></li>
<li><a href="Connectionist_expert_system" title="Connectionist expert system">Connectionist expert systems</a></li>
<li><a href="Expert_systems_for_mortgages" title="Expert systems for mortgages">Expert systems for mortgages</a></li>
<li><a href="Legal_expert_system" title="Legal expert system">Legal expert systems</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="Reasoning_system#Types_of_reasoning_system" title="Reasoning system">Reasoning systems</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">
<ul><li><a href="Automated_theorem_proving" title="Automated theorem proving">Theorem provers</a></li>
<li><a href="Constraint_programming" title="Constraint programming">Constraint solvers</a></li>
<li><a href="Deductive_classifier" title="Deductive classifier">Deductive classifiers</a></li>
<li><a href="Logic_programming" title="Logic programming">Logic programs</a></li>
<li><a href="Procedural_reasoning_system" title="Procedural reasoning system">Procedural reasoning systems</a></li>
<li><a href="Rule_engine" class="mw-redirect" title="Rule engine">Rule engines</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="Ontology_language" title="Ontology language">Ontology languages</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">
<ul><li><a href="Attempto_Controlled_English" title="Attempto Controlled English">Attempto Controlled English</a></li>
<li><a href="CycL" title="CycL">CycL</a></li>
<li><a href="F-logic" title="F-logic">F-logic</a></li>
<li><a href="FO(.)" title="FO(.)">FO(.)</a></li>
<li><a href="Knowledge_Interchange_Format" title="Knowledge Interchange Format">Knowledge Interchange Format</a></li>
<li><a href="Web_Ontology_Language" title="Web Ontology Language">Web Ontology Language</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Theorem provers</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">
<ul><li><a href="CARINE" title="CARINE">CARINE</a></li>
<li><a href="E_(theorem_prover)" title="E (theorem prover)">E</a></li>
<li><a href="Nqthm" title="Nqthm">Nqthm</a></li>
<li><a href="Otter_(theorem_prover)" title="Otter (theorem prover)">Otter</a></li>
<li><a href="Paradox_(theorem_prover)" title="Paradox (theorem prover)">Paradox</a></li>
<li><a href="Prover9" title="Prover9">Prover9</a></li>
<li><a href="SPASS" title="SPASS">SPASS</a></li>
<li><a href="Theorem_Proving_System" class="mw-redirect" title="Theorem Proving System">TPS</a></li>
<li><a href="Z3_Theorem_Prover" title="Z3 Theorem Prover">Z3</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="Constraint_satisfaction" title="Constraint satisfaction">Constraint satisfaction</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">
<ul><li><a href="Constraint_programming" title="Constraint programming">Constraint programming</a></li>
<li><a href="Constraint_logic_programming" title="Constraint logic programming">Constraint logic programming</a></li>
<li><a href="Local_consistency" title="Local consistency">Local consistency</a></li>
<li><a href="Satisfiability_modulo_theories" title="Satisfiability modulo theories">SMT solvers</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="Automated_planning_and_scheduling" title="Automated planning and scheduling">Automated planning</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">
<ul><li><a href="Motion_planning" title="Motion planning">Motion planning</a></li>
<li><a href="Multi-agent_planning" title="Multi-agent planning">Multi-agent planning</a></li>
<li><a href="Partial-order_planning" title="Partial-order planning">Partial-order planning</a></li>
<li><a href="Preference-based_planning" title="Preference-based planning">Preference-based planning</a></li>
<li><a href="Reactive_planning" title="Reactive planning">Reactive planning</a></li>
<li><a href="State-space_planning" title="State-space planning">State-space planning</a></li></ul>
</div></td></tr></tbody></table></div>
<div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r1038841319">
/* start https://en.wikipedia.org/ */


.mw-parser-output .tooltip-dotted{border-bottom:1px dotted;cursor:help}


/* end https://en.wikipedia.org/ */
</style></div><div role="navigation" class="navbox authority-control" aria-label="Navbox600" style="padding:3px"><table class="nowraplinks hlist navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="row" class="navbox-group" style="width:1%">Authority control databases: National </th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><span class="rt-commentedText tooltip tooltip-dotted" title="znalostní inženýrství"><a rel="nofollow" class="external text" href="https://aleph.nkp.cz/F/?func=find-c&amp;local_base=aut&amp;ccl_term=ica=ph127657&amp;CON_LNG=ENG">Czech Republic</a></span></span></li></ul></div></td></tr></tbody></table></div></div><!--htdig_noindex--><div><div class="zim-footer">
This article is issued from <a class="external text" title="Last edited on 2025-07-18" href="https://en.wikipedia.org/wiki/?title=Knowledge_engineering&amp;oldid=1301202360">Wikipedia</a>. The text is available under <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-Share Alike 4.0</a> unless otherwise noted. Additional terms may apply for the media files.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>

</body></html>